翻訳と辞書 Words near each other ・ Maui Tacos ・ Maui Taylor ・ Maui Time Weekly ・ Maui Trade Dollars ・ Maui ʻakepa ・ Maui's dolphin ・ Mauicetus ・ Mauidrillia ・ Maude Odell ・ Maude Petre ・ Maude Robinson ・ Maude Royden ・ Maude Smith Gagnon ・ Maude Stanley ・ Maude Storey ・ Maude system ・ Maude Turner Gordon ・ Maude Valerie White ・ Maude, New South Wales ・ Maude, Victoria ・ Maudelle Bass Weston ・ Maudelle Shirek ・ Mauden ・ Maudes Trophy ・ Maudgalyayana ・ Maudheim medal ・ Maudie ・ Maudie Bitar ・ Maudie Dunham ・ Maudie Edwards Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Maude system ： ウィキペディア英語版 Maude system The Maude system is an implementation of rewriting logic developed at SRI International. It is similar in its general approach to Joseph Goguen's OBJ3 implementation of equational logic, but based on rewriting logic rather than order-sorted equational logic, and with a heavy emphasis on powerful metaprogramming based on reflection. Maude is free software, and tutorials are available online. == The Very Idea == Maude modules (rewrite theories) consists of a term-language plus sets of equations and rewrite-rules. Terms in a rewrite theory are constructed using operators (functions taking 0 or more arguments of some sort, which return a term of a specific sort). Operators taking 0 arguments are considered constants, and one constructs their term-language by these simple constructs. NOTE: If you want to test these examples on your own, you should start Maude with the option -no-prelude which lets Maude know that none of its basic modules are included (like Maude's own NAT module which will cause a conflict). 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Maude system」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.